Logic
Logic
N
Atom
N
Formula
N
Interpretation
N
Truth value of a formula under interpretation
N
Logical equivalence
N
Satisfiable
N
Valid
N
Unsatisfiable
N
Invalid
Propositional logic
N
And connective
N
Or connective
N
Implication connective
N
Not connective
Logical calculus
N
Syntax
N
Semantics
N
Satisfiability
N
Completeness
N
Soundness